Creator: new advanced concepts in concurrent simulation

نویسندگان

  • Silvano Gai
  • Pier Luca Montessoro
چکیده

Creator is a concurrent simulator for design veri cation and fault simulation of large circuits which highly integrates several traditional and innovative techniques. This is achieved by the introduction of a minimal information concept. Traditional techniques derived from previous works are Multiple List Traversal (MLT), trigger inhibition, fraternal event processing, list events and clock suppression, whereas the new ideas are function lists and evaluation functions, persistence time, positioning algorithm, evaluation triggering algorithm, combination of Single List Traversal (SLT) and MLT, and the implementation of transport delay in fault simulation. Generally the concurrent algorithm increases in complexity and the implementations grow in size and lose in performance as soon as higher abstraction levels are added beyond the gate one. To overcome this limitation, all the Creator's techniques are not related to a speci c abstraction level, and lead to an intrinsic multilevel concurrent fault simulator. Experimental results are reported to compare Creator with our previous simulator and the state-of-the-art commercial simulator Verifault-XL on several platforms. Creator: New Advanced Concepts in Concurrent Simulation 1

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Concurrent chemoradiotherapy in locally advanced non-small cell lung cancer: a retrospective analysis of the correlation between radiotherapy-related factors and tumor response

Background: To determine which radiotherapy parameters are associated with the tumor response of locally advanced non-small cell lung cancer (NSCLC) patients undergoing concurrent chemoradiotherapy. Materials and Methods: Thirty one patients with IIIA/IIIB NSCLC underwent chemoradiotherapy with a median dose of 63 Gy. On our actual treatments, we made radiotherapy planning to cover the planning...

متن کامل

Design and Production of Two-Piece Thyroid-Neck Phantom by the Concurrent Use of Epoxy Resin and Poly(Methyl Methacrylate) Soft Tissue Equivalent Materials

The aim of this report is to present a new two-piece thyroid-neck phantom produced by the concurrent use of epoxy resin and poly(methyl methacrylate) (PMMA: plexiglass) soft tissue equivalent materials. Accordingly, mass attenuation coefficients of the epoxy resin and the plexiglass compounds were obtained from simulation (NIST XCOM 3.1) and measurements (practical dosimetry) and compared to th...

متن کامل

MAC Layer Concepts to Support Space Division Multiple Access in IEEE 802.16a

Advanced antenna technologies and algorithms have been developed during the last years. But until today, advanced antenna algorithms of the physical layer and the modes of operation of medium access layers have not been integrated in modern wireless systems. This paper outlines the support of space division multiple access techniques by the wireless metropolitan area network IEEE 802.16a. New c...

متن کامل

NeoGeography and Web 2.0: concepts, tools and applications

In this article, we explore the concepts and applications of Web 2.0 through the new media of NeoGeography and its impact on how we collect, interact and search for spatial information. We argue that location and space are becoming increasingly important in the information technology revolution. To this end, we present a series of software tools which we have designed to facilitate the non-expe...

متن کامل

Continuations for Prototyping Concurrent Languages

We have recently introduced the “continuation semantics for concurrency” (CSC) technique in an attempt to exploit the benefits of using continuations in concurrent systems development. In the CSC approach, a continuation is an application-dependent configuration of computations (partially evaluated denotations). Every computation or group of computations contained in a continuation can be acces...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • IEEE Trans. on CAD of Integrated Circuits and Systems

دوره 13  شماره 

صفحات  -

تاریخ انتشار 1994